<html>
<head><meta charset="utf-8"><title>PR #53316 inf trait normalization · t-compiler · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/index.html">t-compiler</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/PR.20.2353316.20inf.20trait.20normalization.html">PR #53316 inf trait normalization</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="134753068"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/PR%20%2353316%20inf%20trait%20normalization/near/134753068" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/PR.20.2353316.20inf.20trait.20normalization.html#134753068">(Sep 27 2018 at 15:35)</a>:</h4>
<p>So I have some concerns about <a href="https://github.com/rust-lang/rust/issues/53316" target="_blank" title="https://github.com/rust-lang/rust/issues/53316">#53316</a> ...</p>



<a name="134753153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/PR%20%2353316%20inf%20trait%20normalization/near/134753153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/PR.20.2353316.20inf.20trait.20normalization.html#134753153">(Sep 27 2018 at 15:36)</a>:</h4>
<p>first off, it seems like this bug is being reported fairly late (if <code>Reveal::All</code> is true...)</p>



<a name="134753171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/PR%20%2353316%20inf%20trait%20normalization/near/134753171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/PR.20.2353316.20inf.20trait.20normalization.html#134753171">(Sep 27 2018 at 15:36)</a>:</h4>
<p>I think we might want to see if we can catch the error earlier -- for example, by checking if the "hidden type" for an opaque type includes a reference to itself</p>



<a name="134753177"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/131828-t-compiler/topic/PR%20%2353316%20inf%20trait%20normalization/near/134753177" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/131828-t-compiler/topic/PR.20.2353316.20inf.20trait.20normalization.html#134753177">(Sep 27 2018 at 15:36)</a>:</h4>
<p>that seems like a better fix?</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>